Fix map_domain_page() by reverting a bogus simplification
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 2 Nov 2005 18:12:30 +0000 (19:12 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 2 Nov 2005 18:12:30 +0000 (19:12 +0100)
commit13f2a6e868d5c27331eac1fa229b8fa90daad3ac
tree452ff4fc968d0cd24506dbbb4bd4cbaa72274600
parent9ef84e4f943345e91b9d05616ca494511088e6b6
Fix map_domain_page() by reverting a bogus simplification
that I committed in changeset 5303:d68bc64e2cfe38a85483a8c5d349b4ee45e91fb9
This fixes some very weird and nasty Xen crashes.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/x86_32/domain_page.c